Logical Foundations of Services
نویسنده
چکیده
In this paper we consider a logical system of networks of processes that interact in an asynchronous manner by exchanging messages through communication channels. This provides a foundational algebraic framework for service-oriented computing that constitutes a primary factor in defining logical specifications of services, the way models of these specifications capture service orchestrations, and how properties of interaction-points, i.e. points through which such networks connect to one another, can be expressed. We formalise the resulting logic as a parameterised institution, which promotes the development of both declarative and operational semantics of services in a heterogeneous setting by means of logic-programming concepts. 1998 ACM Subject Classification F.4.1 Mathematical Logic
منابع مشابه
Service-Oriented Logic Programming
We develop formal foundations for notions and mechanisms needed to support service-oriented computing. Our work builds on recent theoretical advancements in the algebraic structures that capture the way services are orchestrated and in the processes that formalize the discovery and binding of services to given client applications by means of logical representations of required and provided serv...
متن کاملLogical foundations of CafeOBJ
This paper surveys the logical and mathematical foundations of CafeOBJ, which is a successor of the famous algebraic specification language OBJ but adding several new primitive paradigms such as behavioural concurrent specification and rewriting logic. We first give a concise overview of CafeOBJ. Then we focus on the actual logical foundations of the language at two different levels: basic spec...
متن کاملThe Theoretical Foundations of Jus Cogens in International Law
International Law has it's Constituent elements (legal systems, regimes and collections of rules); Those have interrelations from which legal networks are created. Having this in mind, the question is whether these Constituent elements only have horizental nexus or are ordered by means of factors which unified them in a vertical manner and because of that International Law is named legal orde...
متن کاملThe Logical Approach to Syntax: Foundations, Specifications, and Implementations of Theories of Government and Binding
The title The Logical Approach to Syntax: Foundations, Specifications, and Implementations of Theories of Government and Binding describes Stabler's book very well. In it, Stabler introduces techniques and results pertaining to formal logic, develops logical representations of particular instantiations of Government-Binding Theory (GB), and explores the consequences of the theory within a deduc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013